アルゴリズム15-1 (c)
Dijkstra et al.
$ [1976, 1978]
のバリア
code:アルゴリズム15-1-c.py
def atomic Write(src, i, ref):
src
i
= ref
if isBlack(src)
shade(ref)
#ミューテータ用バリア